Narciso Martí-Oliet: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (13)
Most Popular
List
- List
- Table

1

Dynamic Worlds: From the Frame Problem to Knowledge Management

Dynamic Worlds: From the Frame Problem to Knowledge Management

Springer Netherlands

Narciso Martí-Oliet, José Meseguer (auth.), Remo Pareschi, Bertram Fronhöfer (eds.)

Year:

1999

Language:

english

File:

PDF, 9.86 MB

0 / 4.0

english, 1999

2

Dynamic Worlds: From the Frame Problem to Knowledge Management

Dynamic Worlds: From the Frame Problem to Knowledge Management

Springer Netherlands

Narciso Martí-Oliet, José Meseguer (auth.), Remo Pareschi, Bertram Fronhöfer (eds.)

Year:

1999

Language:

english

File:

DJVU, 2.64 MB

0 / 0

english, 1999

3

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott [Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott]

Year:

2008

Language:

spanish

File:

EPUB, 1.16 MB

0 / 0

spanish, 2008

4

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott [Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott]

Year:

2008

File:

LIT , 3.23 MB

0 / 0

2008

5

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott

Year:

2008

Language:

spanish

File:

AZW3 , 3.87 MB

0 / 0

spanish, 2008

6

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott

Year:

2008

Language:

spanish

File:

FB2 , 5.53 MB

0 / 0

spanish, 2008

7

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott

Year:

2008

Language:

spanish

File:

MOBI , 3.31 MB

0 / 0

spanish, 2008

8

All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic

All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic

Springer-Verlag Berlin Heidelberg

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott (auth.)

Year:

2007

Language:

english

File:

PDF, 5.51 MB

0 / 0

english, 2007

9

Handbook of Philosophical Logic

Handbook of Philosophical Logic

Springer Netherlands

Narciso Martí-Oliet, José Meseguer (auth.), D. M. Gabbay, F. Guenthner (eds.)

Year:

2002

Language:

english

File:

PDF, 10.14 MB

0 / 0

english, 2002

10

Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Springer International Publishing

Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott (eds.)

Year:

2015

Language:

english

File:

PDF, 17.75 MB

0 / 0

english, 2015

11

Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Chiara Bodei, Linda Brodo, Roberto Bruni (auth.), Narciso Martí-Oliet, Miguel Palomino (eds.)

Year:

2013

Language:

english

File:

PDF, 5.79 MB

0 / 0

english, 2013

12

Rewriting Logic and Its Applications: 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers

Rewriting Logic and Its Applications: 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers

Springer International Publishing;Springer

Santiago Escobar, Narciso Martí-Oliet

Year:

2020

Language:

english

File:

PDF, 5.57 MB

0 / 0

english, 2020

13

Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Springer International Publishing

Christiano Braga, Narciso Martí-Oliet (eds.)

Year:

2015

Language:

english

File:

PDF, 4.79 MB

0 / 0

english, 2015